Metamorphic Relation Template v 1 . 0
نویسندگان
چکیده
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we observed a great variability in the way metamorphic relations are described, typically in an informal manner using natural language. We noticed that the lack of a standard mechanism to describe metamorphic relations often makes them hard to read and understand, which hinders the widespread adoption of the technique. To address this shortcoming, we have proposed a template for the description of metamorphic relations, which aims to ease communication among practitioners as well as contributing to research dissemination. Also, it provides a helpful guide for those approaching metamorphic testing for the first time. This technical report describes the proposed template, records its evolution through its different versions and shows several examples of use.
منابع مشابه
ar X iv : a st ro - p h / 99 07 05 8 v 2 8 J ul 1 99 9 SEEKING THE LOCAL CONVERGENCE DEPTH . V . TULLY - FISHER
We have obtained I band Tully-Fisher (TF) measurements for 522 late-type galaxies in the fields of 52 rich Abell clusters distributed throughout the sky between ∼50 and 200h Mpc. Here we estimate corrections to the data for various forms of observational bias, most notably Malmquist and cluster population incompleteness bias. The bias-corrected data are applied to the construction of an I band ...
متن کاملSeeking the Local Convergence Depth. v. Tully-fisher Peculiar Velocities for 52 Abell Clusters
We have obtained I band Tully-Fisher (TF) measurements for 522 late-type galaxies in the fields of 52 rich Abell clusters distributed throughout the sky between ∼50 and 200h Mpc. Here we estimate corrections to the data for various forms of observational bias, most notably Malmquist and cluster population incompleteness bias. The bias-corrected data are applied to the construction of an I band ...
متن کاملMetamorphic Testing of Programs on Partial Differential Equations: A Case Study
We study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation...
متن کاملPredicting Metamorphic Relation for Matrix Calculation Programs
Matrices often represent important information in scientific applications and are involved in performing complex calculations. But systematically testing these applications is hard due to the oracle problem. Metamorphic testing is an effective approach to test such applications because it uses metamorphic relations to determine whether test cases have passed or failed. Metamorphic relations are...
متن کاملUsing Semi-Supervised Learning for Predicting Metamorphic Relations
Software testing is difficult to automate, especially in programs which have no oracle, or method of determining which output is correct. Metamorphic testing is a solution this problem. Metamorphic testing uses metamorphic relations to define test cases and expected outputs. A large amount of time is needed for a domain expert to determine which metamorphic relations can be used to test a given...
متن کامل